Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report)
نویسندگان
چکیده
We argue for a semantical modification of the language DLP. We show by examples that the current DLP representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of DLP that yields the expected answers in some examples that we consider significant
منابع مشابه
Disjunctive Logic Programs with Inheritance
The paper proposes a new knowledge representation language, called DLP, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP is provided, which is shown to genera...
متن کاملA Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
Nested logic programs have recently been introduced in order to allow for arbitrarily nested formulas in the heads and the bodies of logic program rules under the answer sets semantics. Nested expressions can be formed using conjunction, disjunction, as well as the negation as failure operator in an unrestricted fashion. This provides a very flexible and compact framework for knowledge represen...
متن کاملAnswer Sets in General Nonmonotonic Reasoning (Preliminary Report)
Languages of declarative logic programming diier from other modal nonmonotonic formalisms by lack of syntactic uniformity. For instance, negation as failure can be used in the body of a rule, but not in the head; in disjunctive programs, disjunction is used in the head of a rule, but not in the body; in extended programs, negation as failure can be used on top of classical negation, but not the...
متن کاملAn Alternative Characterization of Disjunctive Logic Programs an Alternative Characterization of Disjunctive Logic Programs
We present an alternative characterization of disjunctive logic programs. We rst review Inheritance near-Horn Prolog (InH-Prolog), an intuitive and computationally eeective procedure that extends Prolog using case-analysis. We then describe a xpoint characterization of disjunctive logic programs that is similarly based on case-analysis. This xpoint characterization closely corresponds to the In...
متن کاملA Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming
Introduction. The stable model semantics of disjunctive logic programs (DLPs) is based on minimal models which assign atoms false by default. While this feature is highly useful—leading to concise problem encodings—it occasionally renders knowledge representation with disjunctive rules difficult. Reiter-style minimal diagnoses [1] provide a good example in this respect. This problem can be alle...
متن کامل